0.59/0.83	unsat
