7.69/7.75	unsat
