0.68/0.84	unsat
