27.71/27.81	unsat
