18.75/19.10	unsat
