28.48/28.92	unsat
