0.55/0.67	unsat
