7.76/7.87	unsat
