7.67/7.75	unsat
