0.85/0.92	unsat
