8.16/9.94	unsat
