27.59/29.05	unsat
