27.94/28.05	unsat
