529.17/534.47	unsat
