21.37/23.83	unsat
