27.50/28.08	unsat
