27.04/27.86	unsat
