20.63/23.25	unsat
