0.78/0.92	unsat
