7.19/9.96	unsat
