27.21/27.34	unsat
