296.35/297.50	unsat
