27.24/28.93	unsat
