27.95/28.05	unsat
