0.59/0.69	unsat
