28.25/28.36	unsat
