8.13/9.94	unsat
