6.17/7.75	unsat
