0.71/0.83	unsat
