0.59/0.64	unsat
