7.58/7.67	unsat
