18.92/19.30	unsat
