28.96/31.92	unsat
