542.42/543.07	unsat
