16.39/18.83	unsat
