27.61/30.09	unsat
