0.63/0.85	unsat
