27.25/27.34	unsat
