7.17/9.61	unsat
