21.63/23.88	unsat
