497.41/500.01	unsat
