8.66/9.94	unsat
