0.92/1.07	unsat
