27.74/27.82	unsat
