0.92/0.95	unsat
