19.23/19.34	unsat
