17.75/19.24	unsat
