992.41/992.50	unsat
