27.49/27.87	unsat
