17.67/19.42	unsat
