29.23/31.92	unsat
