295.13/299.10	unsat
