6.88/7.67	unsat
