542.74/543.74	unsat
