0.59/0.75	unsat
