19.26/19.31	unsat
