7.17/9.94	unsat
