27.88/28.20	unsat
