23.88/27.37	unsat
