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