917.47/919.30	unsat
