0.59/0.70	unsat
