27.49/27.51	unsat
