904.24/907.01	unsat
