18.36/19.83	unsat
