29.08/29.92	unsat
