#include int main() { double a = 31.123456; printf("%20.2f\n", a); }