0.57/0.67	unsat
