0.59/0.67	unsat
