0.68/0.82	unsat
