27.34/27.48	unsat
