27.95/28.22	unsat
