322.87/324.10	unsat
