27.30/27.48	unsat
