27.59/27.82	unsat
