0.68/0.71	unsat
