0.68/0.83	unsat
