7.17/7.67	unsat
