27.25/28.22	unsat
