27.63/27.73	unsat
