27.71/27.78	unsat
