526.84/529.32	unsat
