27.04/27.73	unsat
