18.97/19.10	unsat
