9.68/9.94	unsat
