0.68/0.78	unsat
