0.51/0.67	unsat
