17.26/19.79	unsat
